Efficient relational calculation for software analysis
نویسندگان
چکیده
منابع مشابه
Efficient Strongly Relational Polyhedral Analysis
Polyhedral analysis infers invariant linear equalities and inequalities of imperative programs. However, the exponential complexity of polyhedral operations such as image computation and convex hull limits the applicability of polyhedral analysis. Weakly relational domains such as intervals and octagons address the scalability issue by considering polyhedra whose constraints are drawn from a re...
متن کاملFuzzy Relational Matrix-Based Stability Analysis for First-Order Fuzzy Relational Dynamic Systems
In this paper, two sets of sufficient conditions are obtained to ensure the existence and stability of a unique equilibrium point of unforced first-order fuzzy relational dynamical systems by using two different approaches which are both based on the fuzzy relational matrix of the model.In the first approach, the equilibrium point of the system is one of the centers of the related membership fu...
متن کاملSimple and Efficient Relational Querying of Software Structures
Many analyses of software systems can be formalized as relational queries, for example the detection of design patterns, of patterns of problematic design, of code clones, of dead code, and of differences between the as-built and the as-designed architecture. This paper describes the concepts of CrocoPat, a tool for querying and manipulating relations. CrocoPat is easy to use, because of its si...
متن کاملAnalysis and Calculation of Software Residual Time for Scheduling Applications
Often a software program’s execution time is characterized by a single value (either mean or worst-case). When multiple tasks are concurrently scheduled with time quanta such that scheduling is based on partial execution (a common scenario in multimedia systems) a more accurate estimation of residual time, R(t), is desired than can be obtained from just the initial mean value, in order to have ...
متن کاملIntroduction of a Reliable Software for the Calculation of the Gamma Index
Introduction: The gamma index is a known parameter for radiotherapy dose verification. Many free and commercial programs have been written for the calculation of this index. However, the verification of the results has been overlooked in many of the programs. The present study tested the validity of three gamma index calculator programs. Material and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2005
ISSN: 0098-5589
DOI: 10.1109/tse.2005.23